Nager entre deux mots

Une comparaison entre deux méthodes de preuve de sécurité

In this paper, we compare two methods for security proofs a formal method, and the method by reduction from the complexity theory. A modification of the Otway-Rees protocol is proposed to show out a difference between the two methods : the exchanged key is provably secure in the sense of the BAN logic but it is not when we analyze it by reduction. The difference is due to a limitation of BAN lo...

calcul de l'intervalle minimum entre deux trains

dans cet article i' intervalle entre deux trains successifs a ete etudie en fonction de leur vitesses dans deux cas differents. dans ie premier cas ,on suppose que la vitesse des deux trains a une valeur constante, et on etudie les variations de l'intervalle minimum en fonction de la vitesse on determine la vitesse optimale et on etudie les variations de l'intervalle minimum en f...

Un Isomorphisme Motivique entre Deux Variétés Homogènes Projectives sous l’Action d’un Groupe de Type

Dans tout cet article, on désigne par k un corps de caractéristique différente de 2 et on appelle variété tout k-schéma séparé et de type fini. L’objet du présent article est d’étudier X (α1) et X (α2), les variétés homogènes projectives associées à chacune des deux racines d’un groupe de typeG2. La première d’entre elles, X (α1), est une quadrique projective de dimension 5 associée à une voisi...

Une nouvelle mesure sémantique pour le calcul de la similarité entre deux concepts d'une même ontologie

Résumé. Les ontologies sont au coeur du processus de gestion des connaissances. Différentes mesures sémantiques ont été proposées dans la littérature pour évaluer quantitativement l’importance de la liaison sémantique entre paires de concepts. Cet article propose une synthèse analytique des principales mesures sémantiques basées sur une ontologie modélisée par un graphe et restreinte ici aux li...

Anna Nager Kappa 090111